Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

We apply to the semantics of Arithmetic the idea of ``finite approximation'' used to provide computational interpretations of Herbrand's Theorem, and we interpret classical proofs as constructive proofs (with constructive rules for $\vee, \exists$) over a suitable structure \StructureN for the language of natural numbers and maps of G\"odel's system \SystemT. We introduce a new Realizability semantics we call ``Interactive learning-based Realizability'', for Heyting Arithmetic plus \EM_1 (Excluded middle axiom restricted to $\Sigma^0_1$ formulas). Individuals of \StructureN evolve with time, and realizers may ``interact'' with them, by influencing their evolution. We build our semantics over Avigad's fixed point result, but the same semantics may be defined over different constructive interpretations of classical arithmetic (Berardi and de' Liguoro use continuations). Our notion of realizability extends intuitionistic realizability and differs from it only in the atomic case: we interpret atomic realizers as ``learning agents''

Closing a gap in tropical forest biomass estimation : taking crown mass variation into account in pantropical allometries

Accurately monitoring tropical forest carbon stocks is a challenge that remains outstanding. Allometric models that consider tree diameter, height and wood density as predictors are currently used in most tropical forest carbon studies. In particular, a pantropical biomass model has been widely used for approximately a decade, and its most recent version will certainly constitute a reference model in the coming years. However, this reference model shows a systematic bias towards the largest trees. Because large trees are key drivers of forest carbon stocks and dynamics, understanding the origin and the consequences of this bias is of utmost concern. In this study, we compiled a unique tree mass data set of 673 trees destructively sampled in five tropical countries (101 trees > 100 cm in diameter) and an original data set of 130 forest plots (1 ha) from central Africa to quantify the prediction error of biomass allometric models at the individual and plot levels when explicitly taking crown mass variations into account or not doing so. We first showed that the proportion of crown to total tree aboveground biomass is highly variable among trees, ranging from 3 to 88 %. This proportion was constant on average for trees = 45 Mg. This increase coincided with a progressive deviation between the pantropical biomass model estimations and actual tree mass. Taking a crown mass proxy into account in a newly developed model consistently removed the bias observed for large trees (> 1 Mg) and reduced the range of plot- level error (in %) from [-23; 16] to [0; 10]. The disproportionally higher allocation of large trees to crown mass may thus explain the bias observed recently in the reference pantropical model. This bias leads to far- from- negligible, but often overlooked, systematic errors at the plot level and may be easily corrected by taking a crown mass proxy for the largest trees in a stand into account, thus suggesting that the accuracy of forest carbon estimates can be significantly improved at a minimal cost

Weak local rules for planar octagonal tilings

We provide an effective characterization of the planar octagonal tilings which admit weak local rules. As a corollary, we show that they are all based on quadratic irrationalities, as conjectured by Thang Le in the 90s.Comment: 23 pages, 6 figure

TeV Particle Astrophysics II: Summary comments

A unifying theme of this conference was the use of different approaches to understand astrophysical sources of energetic particles in the TeV range and above. In this summary I review how gamma-ray astronomy, neutrino astronomy and (to some extent) gravitational wave astronomy provide complementary avenues to understanding the origin and role of high-energy particles in energetic astrophysical sources.Comment: 6 pages, 4 figures; Conference summary talk for "TeV Particle Astrophysics II" at University of Wisconsin, Madison, 28-31 August 200

Joint ESPGHAN/NASPGHAN Guidelines for the Management of Helicobacter pylori in Children and Adolescents ( Update 2016)

Background: Because of the changing epidemiology of Helicobacter pylori infection and low efficacy of currently recommended therapies, an update of the European Society for Paediatric Gastroenterology Hepatology and Nutrition/North American Society for Pediatric Gastroenterology, Hepatology and Nutrition recommendations for the diagnosis and management of H pylori infection in children and adolescents is required. Methods: Asystematic review of the literature (time period: 2009-2014) was performed. Representatives of both societies evaluated the quality of evidence using GRADE (Grading of Recommendation Assessment, Development, and Evaluation) to formulate recommendations, which were voted upon and finalized using a Delphi process and face-to-face meeting. Results: The consensus group recommended that invasive diagnostic testing for Hpylori be performed only when treatment will be offered if tests are positive. To reach the aim of a 90% eradication rate with initial therapy, antibiotics should be tailored according to susceptibility testing. Therapy should be administered for 14 days, emphasizing strict adherence. Clarithromycin-containing regimens should be restricted to children infected with susceptible strains. When antibiotic susceptibility profiles are not known, high-dose triple therapy with proton pump inhibitor, amoxicillin, and metronidazole for 14 days or bismuth-based quadruple therapy is recommended. Success of therapy should be monitored after 4 to 8 weeks by reliable noninvasive tests. Conclusions: The primary goal of clinical investigation is to identify the cause of upper gastrointestinal symptoms rather than H pylori infection. Therefore, we recommend against a test and treat strategy. Decreasing eradication rates with previously recommended treatments call for changes to first-line therapies and broader availability of culture or molecular-based testing to tailor treatment to the individual child

Evidence for a massive BH in the S0 galaxy NGC 4342

We present axisymmetric dynamical models of the edge-on S0 galaxy NGC 4342. A combination of observations from the ground and with the Hubble Space Telescope (HST) has shown that NGC 4342 rotates rapidly and has a strong central increase in velocity dispersion. We construct simple two-integral Jeans models as well as fully general, three-integral models. The latter are built using a modified version of Schwarzschild's orbit-superposition technique. The two-integral Jeans models suggest a black hole (BH) mass between 3 and 6x10^8 Msun, depending on the data set used to constrain the model, but they fail to fit the details of the observed kinematics. The three-integral models can fit all ground-based and HST data simultaneously, but only when a central BH is included. Models without BH are ruled out to a confidence level better than 99.73 per cent. We determine a BH mass of 3x10^8 Msun. This corresponds to 2.6 per cent of the total mass of the bulge, making NGC 4342 one of the galaxies with the highest BH mass to bulge mass ratio currently known. The models that best fit the data do not have a two-integral phase-space distribution function. They have rather complex dynamical structures: the velocity anisotropies are strong functions of radius reflecting the multi-component structure of this galaxy. The best fit model without BH tries to fit the high central velocity dispersion by placing stars on radial orbits. The measured rotation velocities, however, restrict the amount of radial anisotropy such that the central velocity dispersion measured with the HST can only be fit when a massive BH is included in the models.Comment: 47 pages, 14 figures (postscript). Submitted to Ap

Protocol for a feasibility study of a self help cognitive behavioural therapy resource for the reduction of dental anxiety in young people

Background Childhood dental anxiety is very common, with 10–20 % of children and young people reporting high levels of dental anxiety. It is distressing and has a negative impact on the quality of life of young people and their parents as well as being associated with poor oral health. Affected individuals may develop a lifelong reliance on general anaesthetic or sedation for necessary dental treatment thus requiring the support of specialist dental services. Children and young people with dental anxiety therefore require additional clinical time and can be costly to treat in the long term. The reduction of dental anxiety through the use of effective psychological techniques is, therefore, of high importance. However, there is a lack of high-quality research investigating the impact of cognitive behavioural therapy (CBT) approaches when applied to young people’s dental anxiety. Methods/design The first part of the study will develop a profile of dentally anxious young people using a prospective questionnaire sent to a consecutive sample of 100 young people referred to the Paediatric Dentistry Department, Charles Clifford Dental Hospital, in Sheffield. The second part will involve interviewing a purposive sample of 15–20 dental team members on their perceptions of a CBT self-help resource for dental anxiety, their opinions on whether they might use such a resource with patients, and their willingness to recruit participants to a future randomised controlled trial (RCT) to evaluate the resource. The third part of the study will investigate the most appropriate outcome measures to include in a trial, the acceptability of the resource, and retention and completion rates of treatment with a sample of 60 dentally anxious young people using the CBT resource. Discussion This study will provide information on the profile of dentally anxious young people who could potentially be helped by a guided self-help CBT resource. It will gain the perceptions of dental care team members of guided self-help CBT for dental anxiety in young people and their willingness to recruit participants to a trial. Acceptability of the resource to participants and retention and completion rates will also be investigated to inform a future RCT

Using Macro-Arrays to Study Routes of Infection of Helicobacter pylori in Three Families

allowed tracing the spread of infection through populations on different continents but transmission pathways between individual humans have not been clearly described.To investigate person-to-person transmission, we studied three families each including one child with persistence of symptoms after antibiotic treatment. Ten isolates from the antrum and corpus of stomach of each family member were analyzed both by sequencing of two housekeeping genes and macroarray tests. from outside the family appeared to be probable in the transmission pathways. infection may be acquired by more diverse routes than previously expected

BRCA2 polymorphic stop codon K3326X and the risk of breast, prostate, and ovarian cancers

Background: The K3326X variant in BRCA2 (BRCA2*c.9976A>T; p.Lys3326*; rs11571833) has been found to be associated with small increased risks of breast cancer. However, it is not clear to what extent linkage disequilibrium with fully pathogenic mutations might account for this association. There is scant information about the effect of K3326X in other hormone-related cancers. Methods: Using weighted logistic regression, we analyzed data from the large iCOGS study including 76 637 cancer case patients and 83 796 control patients to estimate odds ratios (ORw) and 95% confidence intervals (CIs) for K3326X variant carriers in relation to breast, ovarian, and prostate cancer risks, with weights defined as probability of not having a pathogenic BRCA2 variant. Using Cox proportional hazards modeling, we also examined the associations of K3326X with breast and ovarian cancer risks among 7183 BRCA1 variant carriers. All statistical tests were two-sided. Results: The K3326X variant was associated with breast (ORw = 1.28, 95% CI = 1.17 to 1.40, P = 5.9x10- 6) and invasive ovarian cancer (ORw = 1.26, 95% CI = 1.10 to 1.43, P = 3.8x10-3). These associations were stronger for serous ovarian cancer and for estrogen receptor–negative breast cancer (ORw = 1.46, 95% CI = 1.2 to 1.70, P = 3.4x10-5 and ORw = 1.50, 95% CI = 1.28 to 1.76, P = 4.1x10-5, respectively). For BRCA1 mutation carriers, there was a statistically significant inverse association of the K3326X variant with risk of ovarian cancer (HR = 0.43, 95% CI = 0.22 to 0.84, P = .013) but no association with breast cancer. No association with prostate cancer was observed. Conclusions: Our study provides evidence that the K3326X variant is associated with risk of developing breast and ovarian cancers independent of other pathogenic variants in BRCA2. Further studies are needed to determine the biological mechanism of action responsible for these associations